]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df350ca) | patch
extensionUtils: Move isOutOfDate() into manager
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 14 Jul 2023 12:39:45 +0000 (14:39 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sat, 15 Jul 2023 11:16:42 +0000 (13:16 +0200)
commit4a0b0e26c703b498720b28125675b94533562424
treef408531d7d2b9edabc671a48ad3315b9117a614ctree | snapshot
parentdf350cab0a01e19aaf831a7180eed5efe5f1bbeecommit | diff
extensionUtils: Move isOutOfDate() into manager

It hasn't been used anywhere else since the old prefs-tool stopped
implementing its own extension loading.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2837>
js/misc/extensionUtils.js diff | blob | history
js/ui/extensionSystem.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.